
(let ((a 5))
  (let ((a 7))
    (= a 7)))
